1. پژوهشی در پیرامون مسئلهی تصمیم در منطق: طرح چند خوارزمیک تحلیلی - معنایی
پدیدآورنده : ادیب سلطانی، میر شمس الدین، ۱۳۱۰ -
کتابخانه: كتابخانه مؤسسه آموزشي و پژوهشي امام خميني (ره) (قم)
موضوع : منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴ ۱۳۷۳
